Detecting Unsafe Raw Pointer Dereferencing Behavior in Rust
نویسندگان
چکیده
منابع مشابه
On Control Flow Hijacks of unsafe Rust
Rust is a newly designed systems programming language that aims at safety. However, as a systems language, Rust must be able to manipulate rawmemory and interact with native C codes freely. In this project, we demonstrate how the use of unsafe keyword can potentially undermine the security guarantees of Rust. Specifically, we provideworking demonstrations to show that in some circumstances, vul...
متن کاملDetecting Unsafe Error Recovery Schedules
This paper presents a mechanism for modeling timing, precedence, and data-consistency constraints on concurrently executing processes. The model allows durations and intervals between events to be speciied. An algorithm is provided to detect schedules which may be unsafe with respect to the constraints. This work, motivated by the design and validation of autonomous error-recovery strategies on...
متن کاملDetecting Null Pointer Violations in Java Programs
The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas It seems agreed that quality should be assured by apply ing testing analysis and formal methods to rigorously de ned precode artifacts The detection of null pointer violation errors is de nitely such a goal This way of applying formal meth...
متن کاملMeasuring Unsafe Pedestrian Behavior Using Observational Data
Florida has a severe problem with pedestrian and bicyclist fatalities. Recent trends show that Florida’s pedestrian fatality rate is almost double the national average. Traditional safety programs rely on crash data to develop safety campaigns or countermeasures to increase safety. Since crash data are not readily available and a long time has to pass before meaningful data is collected, a “ris...
متن کاملDetecting Unsafe Device Coupling using Reversed RF Polarization
Purpose: Patients with many types of common implants, including pacemakers and neurostimulators, are ineligible for MR scans due to the potential for tissue heating arising from RF coupling between the excitation field and their device. We propose a method for detecting this coupling by reversing the RF polarization in a birdcage coil. This produces strong MR signal around any coupled structure...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEICE Transactions on Information and Systems
سال: 2018
ISSN: 0916-8532,1745-1361
DOI: 10.1587/transinf.2018edl8040